|Title of the article||
LOGIC AND ALGEBRAIC MODELS AND METHODS IN DESIGNING FUNCTIONAL ARCHITECTURE OF DISTRIBUTED DATA STORAGE AND PROCESSING SYSTEMS
Volchikhin Vladimir Ivanovich, Doctor of engineering sciences, professor, rector of Penza State University, firstname.lastname@example.org
The authors suggest a method of software modeling and architectural design for data storage and processing systems and networks. The method is based on a formal description of discrete processes on the structured-term memory. The researchers propose logic-algebraic behavioral models of distributed storage and data processing systems to be used as directly executable specifications.
data storage, data processing, formal representations of distributed processes, logical-algebraic approach, networks of abstract machines, distributed behavioral models.
Дата обновления: 27.08.2014 09:11